#include<stdio.h>
int main()
{
        int N,M;
        int a[10000]={0};
        int i=0,j=0,t=0,sum=0;
        scanf("%d%d",&N,&M);
        for(i=N;i>=0;i--)
        {
                if(((i%13)==0) ||( (i%17) == 0))
                {
                        a[t++] = i;
                        j++;
                }
                while(j==M) break;
        }
        for(i=0;i<M;i++)
                sum+=a[i];

        printf("%d",sum);
        return 0;
}

